一种新型混合跳频通信技术

文中提出了一种新型混合跳频通信技术,该技术结合传统跳频技术和差分跳频技术,在较窄的频带上采用差分跳频调制,并将该调制信号与另一更宽频带内的慢跳频信号进行混频,最终得到一个跳速高、频带宽的调制信号。接收端解调时,先按照传统跳频解调的方式进行慢跳频的解调,再按照差分跳频解调的方式对信号进行差分跳频解调。这种混合跳频通信技术在提高数据传输速率的同时,也可以很好地改善系统的误码率性能和抗单音干扰性能。     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

PTFE/Al反应材料制备工艺及性能

氟聚物基反应材料是一种主要由氟聚物和金属填料组成的亚稳态含能复合材料,也是近年来国外研究报道较多的一种新型含能材料.采用冷压、热烧结法制备了PTFE/Al反应材料,测试了其理化性能、热分解性能和力学性能,在此基础上,进一步研究了压制成型和烧结工艺参数.     

指挥实体建模与仿真研究

对国内外较为典型的指挥实体建模与仿真应用情况进行了介绍.对指挥实体建模与仿真的三个主要内容-任务规划、指挥控制和作战行动协同所采用的各关键技术手段和方法进行了较为深入的分析.指出了指挥实体建模与仿真在应用和技术手段上的发展趋势.     

高一理科生化学自主学习现状的调查及对策研究——以石河子第一中学为例

“未来的文盲将不是目不识丁的人,而是不知道如何学习的人”.[1]学会学习是教育的重中之重,是每个人的必修课.本文分别从新课标的推动、社会的需要和学生的特点论述了高一理科生化学自主学习现状的现实意义,从学生自主学习意识和习惯、自主学习方法、影响自主学习因素和自我效能感找出高一理科生化学自主学习现状中存在的问题,并提出相应的对策.     

三维比例导引弹道建模方法研究

基于比例导引弹道的自身规律,运用坐标变换方法,选取合适的坐标系,建立了导弹按比例导引法拦截空中目标的模型,并在信息处理环节中加入导航误差、导弹控制误差、导弹观测误差和目标观测误差等,实现三维比例导引弹道的仿真.仿真结果表明,所建立的模型比较符合实际情况,可直观地显示比例导引弹道特性.     

高校现代教育技术应用现状及发展趋势

通过对高校现代教育技术应用现状的分析,阐述了高校现代教育技术应用的发展趋势。     

乌昌地区极化效应影响分析

乌昌经济一体化是新疆维吾尔自治区党委基于现实情况做出的区域经济发展的战略，该战略以其前所未有的发展促进了民族地区经济的发展。该文在极化理论的指导下分析了乌昌地区的扩散作用和回流作用，并对这些作用进行总结性分析。     

数字中频接收机中的数字AGC的设计与实现

介绍了数字自动增益控制(AGC)技术在数字中频接收机中的实现方法’,提出了利用 DSP Builder模型库设计的一种实用的数字自动增益控制电路,所设计的电路在数字中频接收机系统内工作良好。该数字 AGC具有快速收敛、结构简单、性能稳定和成本低等特点。占用 Altera StratixⅡ FPGA 片上163个自适应逻辑单元(ALUTs)。